$\forall$$g$:Mon. IsMonoid($\mid$$g$$\mid$;$\ast$;e) \& IsEqFun($\mid$$g$$\mid$;=$_{b}$)